August Bebel

Results: 51



#Item
11

Microsoft Word - Entwurf VA mit DB August-Bebel-GSdoc

Add to Reading List

Source URL: www.bebel-grundschule.de

Language: German - Date: 2015-06-30 07:14:29
    12

    Problem Libraries for Non-Classical Logics – Extended Abstract – Jens Otten and Thomas Raths Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany {jeotten|traths}@c

    Add to Reading List

    Source URL: www.jens-otten.de

    Language: English - Date: 2015-01-19 21:22:08
      13

      Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

      Add to Reading List

      Source URL: www.jens-otten.de

      Language: English - Date: 2012-03-30 11:05:56
        14

        Implementing Connection Calculi for First-order Modal Logics Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

        Add to Reading List

        Source URL: www.jens-otten.de

        Language: English - Date: 2012-10-16 12:33:00
          15

          Problem Libraries for Non-Classical Logics – Extended Abstract – Jens Otten and Thomas Raths Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany {jeotten|traths}@c

          Add to Reading List

          Source URL: www.cs.uni-potsdam.de

          Language: English - Date: 2015-01-19 21:15:50
            16Theoretical computer science / Constraint programming / Declarative programming / Logic programming / Mathematics / Model theory / Logic in computer science / NP-complete problems / Constraint satisfaction problem / Answer set programming / Constraint satisfaction / Satisfiability modulo theories

            Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            Language: English - Date: 2009-04-29 13:38:11
            17

            Implementing Connection Calculi for First-order Modal Logics Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            Language: English - Date: 2012-09-30 13:57:39
              18

              A Non-clausal Connection Calculus Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

              Add to Reading List

              Source URL: www.jens-otten.de

              Language: English - Date: 2012-03-30 11:05:43
                19

                A Non-clausal Connection Calculus Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

                Add to Reading List

                Source URL: www.cs.uni-potsdam.de

                Language: English - Date: 2011-10-24 14:06:18
                  20

                  Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

                  Add to Reading List

                  Source URL: www.cs.uni-potsdam.de

                  Language: English - Date: 2008-03-22 23:21:32
                    UPDATE